cf6bdfa33f5354c5536b3539656e8728c300ad10,workbench/mps-ui/source/jetbrains/mps/ide/ui/dialogs/properties/ModulePropertiesConfigurable.java,ModuleCommonTab,isModified,#,318

Before Change


      return super.isModified()
          || (
          myModule instanceof DevKit
              ? myModuleDependenciesTab.isModified()
              : myEntriesEditor.isModified())
          || (
          myGenOut != null && !(myGenOut.getText().equals(getGenOutPath()))
      );
    }

After Change


    @Override
    public boolean isModified() {
      if (super.isModified()) return true;
      if (myModule instanceof DevKit && myModuleDependenciesTab.isModified()) return true;
      if (!(myModule instanceof DevKit) && myEntriesEditor.isModified()) return true;
      if (myGenOut != null && !(myGenOut.getText().equals(getGenOutPath()))) return true;

      if (myVersion != null) {
        try {
          int newVersion = Integer.parseInt(myVersion.getText());
          if (!EqualUtil.equals(newVersion,getVersion())) return false;
        } catch (NumberFormatException e) {
          //just continue omitting this field
        }
      }

      return false;
    }

    @Override